HindleyMilner type system - PDFSEARCH.IO - Document Search Engine

HindleyMilner type system
Results: 26

#	Item
21	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
22	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
23	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a
24	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2006-09-28 09:58:04 Software engineering Computing Computer programming Type theory Concurrent programming languages Type systems Functional languages Data types Erlang Type inference Scala HindleyMilner type system
25	RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2014-12-04 18:09:21 Theoretical computer science Mathematics Mathematical logic Automated theorem proving Logic in computer science Type theory Unification Logic programming Anti-unification Function HindleyMilner type system
26	PDF Document Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Type theory Functional languages Type systems Procedural programming languages Lambda calculus Type inference Monad ML HindleyMilner type system Functional programming Parallel computing Unification